Ordinal number

Results: 811



#Item
321Mathematical logic / Parametric polymorphism / Type class / System F / Normal function / Type inference / Ordinal number / Type system / Kind / Type theory / Software engineering / Programming language theory

Qualified Types for MLF Daan Leijen Andres L¨oh Institute of Information and Computing Sciences, Utrecht University

Add to Reading List

Source URL: kosmikus.org

Language: English - Date: 2011-11-25 05:39:15
322Ordinal numbers / Cardinal numbers / Transfinite number / Infinity / Ordinal arithmetic / Constructible universe / Georg Cantor / Model theory / Cardinality / Mathematical logic / Mathematics / Set theory

#1... Weakly Infinite Cardinals Roy Lisker #306 Liberty Commons 8 Liberty Street

Add to Reading List

Source URL: philsci-archive.pitt.edu

Language: English - Date: 2010-10-07 11:11:57
323Digital typography / Symbol / Mathematics / Spectral theory of ordinary differential equations / Ordinal number / Calculus of variations / Character encoding

University of Zurich Zurich Open Repository and Archive Winterthurerstr. 190 CH-8057 Zurich http://www.zora.uzh.ch

Add to Reading List

Source URL: www.zora.uzh.ch

Language: English - Date: 2010-11-29 11:25:22
324Ordinal number / Continuous function / Sobolev spaces / Partial differential equations / Symbol / Congruence lattice problem / Mathematical analysis / Mathematics / Connection

Electronic Journal of Differential Equations, Vol[removed]), No. 12, pp. 1–37. ISSN: [removed]URL: http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu ftp ejde.math.unt.edu (login: ftp) A sin

Add to Reading List

Source URL: ejde.math.txstate.edu

Language: English - Date: 2000-02-12 01:00:00
325Operator theory / Ordinal number / Hilbert space / Vector space / Algebra / Mathematics / Linear algebra

Learning Convex Combinations of Continuously Parameterized Basic Kernels Andreas Argyriou1 , Charles A. Micchelli2 , and Massimiliano Pontil1 1 2

Add to Reading List

Source URL: eprints.pascal-network.org

Language: English - Date: 2005-10-19 15:11:41
326Set theory / Epimorphism / Homomorphism / Forcing / Ordinal number / Constructible universe / Sheaf / Zermelo–Fraenkel set theory / Surjective function / Mathematical logic / Mathematics / Morphisms

ELEMENTARY EPIMORPHISMS BETWEEN MODELS OF SET THEORY ROBERT LUBARSKY AND NORMAN LEWIS PERLMUTTER Abstract. We show that every Π1 -elementary epimorphism between models of ZF is an isomorphism. On the other hand, nonisom

Add to Reading List

Source URL: math.fau.edu

Language: English - Date: 2014-05-05 13:51:37
327Random variable / Continuous function / Lévy process / Ordinal number / Separable space / Convergence of random variables / Càdlàg / Continuous stochastic process / Law / Statistics / Stochastic processes / Wiener process

Chapter 7 Continuity of Stochastic Processes Section 7.1 describes the leading kinds of continuity for stochastic processes, which derive from the modes of convergence of random

Add to Reading List

Source URL: www.stat.cmu.edu

Language: English - Date: 2007-02-05 21:10:58
328Linear algebra / Ordinal number / State / Partial differential equations / Free boundary problem / Operator theory / Mathematics / Hilbert space

Hindawi Publishing Corporation Abstract and Applied Analysis Volume 2014, Article ID[removed], 16 pages http://dx.doi.org[removed][removed]Research Article

Add to Reading List

Source URL: downloads.hindawi.com

Language: English - Date: 2014-08-28 10:26:50
329Big O notation / Mathematical notation / LG Corp / Computational complexity theory / Ordinal number / Analysis of algorithms / Mathematics / Asymptotic analysis

LOGARITHMIC LOWER BOUNDS IN THE CELL-PROBE MODEL∗ ˇ MIHAI PATRAS ¸ CU† AND ERIK D. DEMAINE† Abstract. We develop a new technique for proving cell-probe lower bounds on dynamic data structures. This technique enab

Add to Reading List

Source URL: people.csail.mit.edu

Language: English - Date: 2008-09-07 01:08:29
330Probability space / Continuous function / Stochastic differential equations / Stochastic processes / Sobolev spaces / Mathematical analysis / Mathematics / Ordinal number

Conditional Certainty Equivalent Marco Frittelli and Marco Maggis University of Milan Bachelier Finance Society World Congress, Hilton Hotel, Toronto, June 25, 2010

Add to Reading List

Source URL: www.fields.utoronto.ca

Language: English - Date: 2010-06-18 08:44:32
UPDATE